topologically closed set

闭集